Interplays of Knowledge and Non-contingency
نویسنده
چکیده
This paper combines a non-contingency logic with an epistemic logic by means of fusions and products of modal systems. Some consequences of these interplays are pointed out.
منابع مشابه
Distributed Contingency Logic and Security
In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...
متن کاملتوسعه رهبری کار آموزشی در دانشگاه بر پایه خلق، انتشار و کاربرد دانش
This research was conducted in a state university for the purpose of enhancing academic work leadership on the basis of knowledge management and making recommendations to the high-ranking managers of that university. The statistical population consisted of 200 staff and faculty members of the university, who were chosen by the simple random sampling method. Measurement tools were knowledge mana...
متن کاملPhilosophical Reflections in Transcendental Modernism and Religious Politics
The current article believes that the intrinsic interdependence of modernity, science and secularism is an ideological non-universal interdependence but a hegemonic discourse. This kind of explanation and consideration is built upon a collection of ontological, epistemological, anthropological, methodological and evaluative sources. Based on two laws of "interchangeability of existence and scie...
متن کاملIntroduce an Optimal Pricing Strategy Using the Parameter of "Contingency Analysis" Neplan Software in the Power MarketCase Study (Azerbaijan Electricity Network)
Overall price optimization strategy in the deregulated electricity market is one of the most important challenges for the participants, In this paper, we used Contingency Analysis Module of NEPLAN Software, a strategy of pricing to market participants is depicted.Each of power plants according to their size and share of the Contingency Analysis should be considered in the price of its hour. In ...
متن کاملContingency Planning in Linear Time Logic
The “planning as satisfiability” approach for classical planning establishes a correspondence between planning problems and logical theories, and, consequently, between plans and models. This work proposes a similar framework for contingency planning: considering contingent planning problems where the sources of indeterminism are incomplete knowledge about the initial state, non-inertial fluent...
متن کامل